Description of the Section
Important Dates
Assignments
This course is a graduate course on symbolic logic. It will cover the development of the topic in a rigorous manner including model theory, proof theory, and the equivalence of the two approaches.
It does start with the basics but some previous knowledge of proof will seriously help.
Text:
Description of the Section
Important Dates
Assignments
This page updated by Frank Matthews Dec. 7, 2011